RSTR - 003 - 97 - 13 Opportunism and Diversity in AutomatedSoftware Test Data
نویسندگان
چکیده
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for larger programs than those previously reported in the literature. We address a number of issues that are encountered when automatically generating tests for larger software systems. These issues have not been discussed in earlier work on test-data generation, which concentrated on small programs written in restricted programming languages.
منابع مشابه
RSTR - 003 - 97 - 11 Genetic Algorithms for Dynamic
In software testing, it is often desirable to nd test inputs that exercise speciic program features. To nd these inputs by hand is extremely time-consuming, especially when the software is complex. Therefore, numerous attempts have been made to automate the process. Random test data generation consists of generating test inputs at random, in the hope that they will exercise the desired software...
متن کاملسنجش تفکر استراتژیک در بین مدیران ستادی دانشگاه علوم پزشکی و خدمات بهداشتی درمانی تهران
Introduction: Strategic thinking plays a very important role in continuing survival and development in today's dynamic and changing environments. Strategic thinking is a tool that helps managers creates development plans and new opportunities. This study aimed to evaluate the compliance of strategic thinking with the elements of Goldman model including conceptual thinking, systematic thinking, ...
متن کاملRSTR - 96 - 003 - 5 Reducing the Pro le Dependency ofSoftware Test
Statistical software test methods are dogged by proole dependency | the requirement that software be tested and used with inputs selected according to the same probability density. This paper investigates ways in which this dependency can be reduced. By representing probability densities as weighted sums of basis functions, it becomes possible to say how well testing performed under one density...
متن کاملRSTR - 96 - 003 - 4 On the Uniformity of Error Propagationin Software Christoph
The behavior of faulty computer programs is a subject of growing interest. In this paper, we present an empirical study of one aspect of fault behavior: the propagation of data-state errors. A data-state error occurs when a fault is executed and affects a program’s data-state, and it is said to propagate to the output if it affects the outcome of the execution. Our results show that data-state ...
متن کاملTemporal Uncertainty and Temporal Estimation Errors Affect Insular Activity and the Frontostriatal Indirect Pathway during Action Update: A Predictive Coding Study
Action update, substituting a prepotent behavior with a new action, allows the organism to counteract surprising environmental demands. However, action update fails when the organism is uncertain about when to release the substituting behavior, when it faces temporal uncertainty. Predictive coding states that accurate perception demands minimization of precise prediction errors. Activity of the...
متن کامل